#include <stdio.h>

int main()
{
    int i = 0;
    for (i = 1000 ; i < 2001 ; i++)
    {
        if(i % 100 == 0)
        {
            if(i % 400 == 0)
            {
                printf("%d ", i);
            }
        }
        else
        {
            if(i % 4 == 0)
            {
                printf("%d ", i);
            }
        }
    }
    return 0;
}